<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="obsman.css">
<TITLE>
Index
</TITLE>
</HEAD>
<BODY >
<A HREF="obsman004.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="obsman006.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter">Index</H1>

<TABLE CELLSPACING=2 CELLPADDING=0>
<TR><TD VALIGN=top ALIGN=left><UL CLASS="itemize"><LI CLASS="li-itemize">
../bips/lib/eplex/eplex_demon_setup-5.html, <A HREF="obsman004.html#@default208">4.1</A>
<BR>
<BR>
<LI CLASS="li-itemize">::/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default6">2.2</A>
</UL>
<LI CLASS="li-itemize">::/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default13">2.2</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">#&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default60">2.3</A>
</UL>
<LI CLASS="li-itemize">#&lt;/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default72">2.5</A>
</UL>
<LI CLASS="li-itemize">#&lt;=&gt;/2, <A HREF="obsman002.html#@default69">2.4</A>
<LI CLASS="li-itemize">#&lt;=&gt;/3, <A HREF="obsman002.html#@default80">2.5</A>
<LI CLASS="li-itemize">#&lt;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default61">2.3</A>
</UL>
<LI CLASS="li-itemize">#&lt;=/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default73">2.5</A>
</UL>
<LI CLASS="li-itemize">#&gt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default63">2.3</A>
</UL>
<LI CLASS="li-itemize">#&gt;/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default76">2.5</A>
</UL>
<LI CLASS="li-itemize">#&gt;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default64">2.3</A>
</UL>
<LI CLASS="li-itemize">#&gt;=/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default77">2.5</A>
</UL>
<LI CLASS="li-itemize">#/2, <A HREF="obsman003.html#@default183">3.4</A>
<LI CLASS="li-itemize">#/3, <A HREF="obsman002.html#@default92">2.7</A>
<LI CLASS="li-itemize">#=&gt;/2, <A HREF="obsman002.html#@default68">2.4</A>
<LI CLASS="li-itemize">#=&gt;/3, <A HREF="obsman002.html#@default81">2.5</A>
<LI CLASS="li-itemize">#=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default62">2.3</A>
</UL>
<LI CLASS="li-itemize">#=/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default74">2.5</A>
</UL>
<LI CLASS="li-itemize">##/2, <A HREF="obsman002.html#@default84">2.6</A>
<LI CLASS="li-itemize">#/\/2, <A HREF="obsman002.html#@default66">2.4</A>
<LI CLASS="li-itemize">#/\/3, <A HREF="obsman002.html#@default78">2.5</A>
<LI CLASS="li-itemize">#\+/1, <A HREF="obsman002.html#@default65">2.4</A>
<LI CLASS="li-itemize">#\+/2, <A HREF="obsman002.html#@default82">2.5</A>
<LI CLASS="li-itemize">#\=/2, <A HREF="obsman002.html#@default59">2.3</A>
<LI CLASS="li-itemize">#\=/3, <A HREF="obsman002.html#@default75">2.5</A>
<LI CLASS="li-itemize">#\//2, <A HREF="obsman002.html#@default67">2.4</A>
<LI CLASS="li-itemize">#\//3, <A HREF="obsman002.html#@default79">2.5</A>
<LI CLASS="li-itemize">/\, <A HREF="obsman003.html#@default168">3.2</A>
<LI CLASS="li-itemize">\, <A HREF="obsman003.html#@default170">3.2</A>
<LI CLASS="li-itemize">\/, <A HREF="obsman003.html#@default169">3.2</A>
<LI CLASS="li-itemize"><CODE>`&lt;</CODE>/2, <A HREF="obsman003.html#@default179">3.4</A>
<LI CLASS="li-itemize"><CODE>`&lt;&gt;</CODE>/2, <A HREF="obsman003.html#@default180">3.4</A>
<BR>
<BR>
<LI CLASS="li-itemize">`=/2, <A HREF="obsman003.html#@default176">3.4</A>
<BR>
<BR>
<LI CLASS="li-itemize">all<CODE>_</CODE>disjoint/2, <A HREF="obsman003.html#@default182">3.4</A>
<LI CLASS="li-itemize">all<CODE>_</CODE>union/2, <A HREF="obsman003.html#@default181">3.4</A>
<LI CLASS="li-itemize">alldistinct/1, <A HREF="obsman002.html#@default85">2.6</A>
<LI CLASS="li-itemize">atmost/3, <A HREF="obsman002.html#@default15">2.2</A>, <A HREF="obsman002.html#@default158">2.17.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">CHIP, <A HREF="obsman002.html#@default83">2.6</A>
<LI CLASS="li-itemize">compare/3, <A HREF="obsman002.html#@default116">2.14.2</A>
<LI CLASS="li-itemize">compile/2, <A HREF="obsman002.html#@default144">2.15</A>
<LI CLASS="li-itemize">compile_term/1, <A HREF="obsman002.html#@default145">2.15</A>
<LI CLASS="li-itemize">constraints_number/2, <A HREF="obsman002.html#@default16">2.2</A>, <A HREF="obsman002.html#@default17">2.2</A>
<BR>
<BR>
<LI CLASS="li-itemize">debug events, <A HREF="obsman002.html#@default100">2.11</A>
<LI CLASS="li-itemize">default_domain/1, <A HREF="obsman002.html#@default147">2.15</A>, <A HREF="obsman002.html#@default148">2.15</A>
<LI CLASS="li-itemize">deleteff/3, <A HREF="obsman002.html#@default86">2.6</A>, <A HREF="obsman002.html#@default103">2.12</A>, <A HREF="obsman002.html#@default106">2.13</A>, <A HREF="obsman002.html#@default159">2.17.3.7</A>
<LI CLASS="li-itemize">deleteffc/3, <A HREF="obsman002.html#@default18">2.2</A>, <A HREF="obsman002.html#@default87">2.6</A>, <A HREF="obsman002.html#@default107">2.13</A>
<LI CLASS="li-itemize">deletemin/3, <A HREF="obsman002.html#@default88">2.6</A>
<LI CLASS="li-itemize">dom/2, <A HREF="obsman002.html#@default89">2.6</A>
<LI CLASS="li-itemize">dom_check_in/2, <A HREF="obsman002.html#@default114">2.14.2</A>
<LI CLASS="li-itemize">dom_compare/3, <A HREF="obsman002.html#@default115">2.14.2</A>
<LI CLASS="li-itemize">dom_copy/2, <A HREF="obsman002.html#@default121">2.14.3</A>
<LI CLASS="li-itemize">dom_difference/4, <A HREF="obsman002.html#@default122">2.14.3</A>
<LI CLASS="li-itemize">dom_intersection/4, <A HREF="obsman002.html#@default123">2.14.3</A>
<LI CLASS="li-itemize">dom_member/2, <A HREF="obsman002.html#@default117">2.14.2</A>
<LI CLASS="li-itemize">dom_range/3, <A HREF="obsman002.html#@default119">2.14.2</A>, <A HREF="obsman002.html#@default150">1</A>
<LI CLASS="li-itemize">dom_size/2, <A HREF="obsman002.html#@default120">2.14.2</A>
<LI CLASS="li-itemize">dom_union/4, <A HREF="obsman002.html#@default124">2.14.3</A>
<LI CLASS="li-itemize">domain
<UL CLASS="itemize"><LI CLASS="li-itemize">
default, <A HREF="obsman002.html#@default4">2.1</A>, <A HREF="obsman002.html#@default146">2.15</A>
</UL>
<LI CLASS="li-itemize">domain variable
<UL CLASS="itemize"><LI CLASS="li-itemize">
creation, <A HREF="obsman002.html#@default7">2.2</A>
<LI CLASS="li-itemize">definition, <A HREF="obsman002.html#@default1">2.1</A>
<LI CLASS="li-itemize">implementation, <A HREF="obsman002.html#@default109">2.14.1</A>
<LI CLASS="li-itemize">integer, <A HREF="obsman002.html#@default3">2.1</A>
</UL>
<LI CLASS="li-itemize">dvar_domain_list/2, <A HREF="obsman002.html#@default93">2.7</A>
<LI CLASS="li-itemize">dvar_attribute/2, <A HREF="obsman002.html#@default111">2.14.1</A>, <A HREF="obsman002.html#@default113">2.14.1</A>, <A HREF="obsman002.html#@default133">2.14.4</A>
<LI CLASS="li-itemize">dvar_domain/2, <A HREF="obsman002.html#@default8">2.2</A>, <A HREF="obsman002.html#@default134">2.14.4</A>, <A HREF="obsman002.html#@default149">1</A>
<LI CLASS="li-itemize">dvar_msg/3, <A HREF="obsman002.html#@default136">2.14.4</A>
<LI CLASS="li-itemize">dvar_remove_element/2, <A HREF="obsman002.html#@default137">2.14.5</A>
<LI CLASS="li-itemize">dvar_remove_greater/2, <A HREF="obsman002.html#@default139">2.14.5</A>, <A HREF="obsman002.html#@default151">3</A>
<LI CLASS="li-itemize">dvar_remove_smaller/2, <A HREF="obsman002.html#@default138">2.14.5</A>
<LI CLASS="li-itemize">dvar_replace/2, <A HREF="obsman002.html#@default141">2.14.5</A>
<LI CLASS="li-itemize">dvar_update/2, <A HREF="obsman002.html#@default140">2.14.5</A>, <A HREF="obsman002.html#@default142">2.14.5</A>
<BR>
<BR>
<LI CLASS="li-itemize">el<CODE>_</CODE>weight/2, <A HREF="obsman003.html#@default194">3.7.2</A>
<LI CLASS="li-itemize">element/3, <A HREF="obsman002.html#@default20">2.2</A>, <A HREF="obsman002.html#@default153">2.17.1.2</A>, <A HREF="obsman002.html#@default154">2.17.1.2</A>, <A HREF="obsman002.html#@default155">2.17.1.2</A>, <A HREF="obsman002.html#@default156">2.17.1.5</A>, <A HREF="obsman002.html#@default157">2.17.3</A>
<LI CLASS="li-itemize">eplex_get/2, <A HREF="obsman004.html#@default209">4.1</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="obsman004.html#@default206">4.1</A>
</UL>
<LI CLASS="li-itemize">eplex_solver_setup/4, <A HREF="obsman004.html#@default207">4.1</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="obsman004.html#@default205">4.1</A>
</UL>
</UL></TD>
<TD VALIGN=top ALIGN=left><UL CLASS="itemize"><LI CLASS="li-itemize">fd:(::)/2, <A HREF="obsman002.html#@default2">2.1</A>, <A HREF="obsman002.html#@default5">2.2</A>
<LI CLASS="li-itemize">fd:(::)/3, <A HREF="obsman002.html#@default12">2.2</A>
<LI CLASS="li-itemize">fd:atmost/3, <A HREF="obsman002.html#@default14">2.2</A>
<LI CLASS="li-itemize">fd:element/3, <A HREF="obsman002.html#@default19">2.2</A>
<LI CLASS="li-itemize">fd:fd_eval/1, <A HREF="obsman002.html#@default21">2.2</A>
<LI CLASS="li-itemize">fd:indomain/1, <A HREF="obsman002.html#@default23">2.2</A>
<LI CLASS="li-itemize">fd:integers/1, <A HREF="obsman002.html#@default10">2.2</A>
<LI CLASS="li-itemize">fd:is_domain/1, <A HREF="obsman002.html#@default25">2.2</A>
<LI CLASS="li-itemize">fd:is_integer_domain/1, <A HREF="obsman002.html#@default27">2.2</A>
<LI CLASS="li-itemize">fd:min_max/2, <A HREF="obsman002.html#@default29">2.2</A>
<LI CLASS="li-itemize">fd:min_max/4, <A HREF="obsman002.html#@default37">2.2</A>
<LI CLASS="li-itemize">fd:min_max/5, <A HREF="obsman002.html#@default43">2.2</A>
<LI CLASS="li-itemize">fd:min_max/6, <A HREF="obsman002.html#@default49">2.2</A>
<LI CLASS="li-itemize">fd:min_max/8, <A HREF="obsman002.html#@default55">2.2</A>
<LI CLASS="li-itemize">fd:minimize/2, <A HREF="obsman002.html#@default31">2.2</A>
<LI CLASS="li-itemize">fd:minimize/4, <A HREF="obsman002.html#@default38">2.2</A>
<LI CLASS="li-itemize">fd:minimize/5, <A HREF="obsman002.html#@default44">2.2</A>
<LI CLASS="li-itemize">fd:minimize/6, <A HREF="obsman002.html#@default50">2.2</A>
<LI CLASS="li-itemize">fd:minimize/8, <A HREF="obsman002.html#@default56">2.2</A>
<LI CLASS="li-itemize">fd_eval/1, <A HREF="obsman002.html#@default22">2.2</A>
<LI CLASS="li-itemize">fd_search:_/_, <A HREF="obsman002.html#@default98">2.8</A>
<LI CLASS="li-itemize">fd_sets:_/_, <A HREF="obsman003.html#@default162">3</A>
<BR>
<BR>
<LI CLASS="li-itemize">get_var_bounds/3, <A HREF="obsman004.html#@default202">4.1</A>
<LI CLASS="li-itemize">glb/2, <A HREF="obsman003.html#@default192">3.7.2</A>
<LI CLASS="li-itemize">ground set, <A HREF="obsman003.html#@default163">3.1</A>, <A HREF="obsman003.html#@default172">3.4</A>, <A HREF="obsman003.html#@default175">3.4</A>
<BR>
<BR>
<LI CLASS="li-itemize">in/2, <A HREF="obsman003.html#@default177">3.4</A>
<LI CLASS="li-itemize">indomain/1, <A HREF="obsman002.html#@default24">2.2</A>, <A HREF="obsman002.html#@default97">2.7</A>, <A HREF="obsman002.html#@default118">2.14.2</A>
<LI CLASS="li-itemize">integer_list_to_dom/2, <A HREF="obsman002.html#@default126">2.14.3</A>
<LI CLASS="li-itemize">integers/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="obsman004.html#@default204">4.1</A>
<LI CLASS="li-itemize">fd, <A HREF="obsman002.html#@default11">2.2</A>
</UL>
<LI CLASS="li-itemize">is/2, <A HREF="obsman002.html#@default71">2.5</A>
<LI CLASS="li-itemize">is_domain/1, <A HREF="obsman002.html#@default26">2.2</A>
<LI CLASS="li-itemize">is_integer_domain/1, <A HREF="obsman002.html#@default28">2.2</A>
<LI CLASS="li-itemize">isd/2, <A HREF="obsman002.html#@default70">2.5</A>
<BR>
<BR>
<LI CLASS="li-itemize">labeling, <A HREF="obsman002.html#@default104">2.13</A>, <A HREF="obsman002.html#@default105">2.13</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default96">2.7</A>, <A HREF="obsman002.html#@default101">2.12</A>
</UL>
<LI CLASS="li-itemize">labeling/1, <A HREF="obsman002.html#@default95">2.7</A>
<LI CLASS="li-itemize">library
<UL CLASS="itemize"><LI CLASS="li-itemize">
conjunto.pl, <A HREF="obsman003.html#@default161">3</A>, <A HREF="obsman003.html#@default201">3.10</A>
<LI CLASS="li-itemize">fd.pl, <A HREF="obsman002.html#@default0">2</A>, <A HREF="obsman002.html#@default160">2.18</A>
</UL>
<LI CLASS="li-itemize">list2set/2, <A HREF="obsman003.html#@default197">3.7.2</A>
<LI CLASS="li-itemize">list_to_dom/2, <A HREF="obsman002.html#@default125">2.14.3</A>, <A HREF="obsman002.html#@default127">2.14.3</A>, <A HREF="obsman002.html#@default128">2.14.3</A>, <A HREF="obsman002.html#@default131">2.14.3</A>, <A HREF="obsman002.html#@default132">2.14.3</A>
<LI CLASS="li-itemize">lp_get/3, <A HREF="obsman004.html#@default210">4.1</A>
<LI CLASS="li-itemize">lub/2, <A HREF="obsman003.html#@default193">3.7.2</A>
<BR>
<BR>
<LI CLASS="li-itemize">macro
<UL CLASS="itemize"><LI CLASS="li-itemize">
write, <A HREF="obsman002.html#@default99">2.11</A>
</UL>
<LI CLASS="li-itemize">matching clause, <A HREF="obsman002.html#@default112">2.14.1</A>
<LI CLASS="li-itemize">max<CODE>_</CODE>weight/2, <A HREF="obsman003.html#@default195">3.7.2</A>
<LI CLASS="li-itemize">maxdomain/2, <A HREF="obsman002.html#@default90">2.6</A>
<LI CLASS="li-itemize">metaterm, <A HREF="obsman002.html#@default108">2.14.1</A>, <A HREF="obsman003.html#@default187">3.7.1</A>
<LI CLASS="li-itemize">min_max/2, <A HREF="obsman002.html#@default30">2.2</A>, <A HREF="obsman002.html#@default33">2.2</A>, <A HREF="obsman002.html#@default35">2.2</A>, <A HREF="obsman002.html#@default36">2.2</A>, <A HREF="obsman002.html#@default41">2.2</A>, <A HREF="obsman002.html#@default47">2.2</A>, <A HREF="obsman002.html#@default102">2.12</A>
<LI CLASS="li-itemize">min_max/4, <A HREF="obsman002.html#@default39">2.2</A>
<LI CLASS="li-itemize">min_max/5, <A HREF="obsman002.html#@default45">2.2</A>, <A HREF="obsman002.html#@default53">2.2</A>
<LI CLASS="li-itemize">min_max/6, <A HREF="obsman002.html#@default51">2.2</A>
<LI CLASS="li-itemize">min_max/8, <A HREF="obsman002.html#@default57">2.2</A>
<LI CLASS="li-itemize">mindomain/2, <A HREF="obsman002.html#@default91">2.6</A>
<LI CLASS="li-itemize">minimize/2, <A HREF="obsman002.html#@default34">2.2</A>, <A HREF="obsman002.html#@default42">2.2</A>, <A HREF="obsman002.html#@default48">2.2</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
fd, <A HREF="obsman002.html#@default32">2.2</A>
</UL>
<LI CLASS="li-itemize">minimize/4, <A HREF="obsman002.html#@default40">2.2</A>
<LI CLASS="li-itemize">minimize/5, <A HREF="obsman002.html#@default46">2.2</A>, <A HREF="obsman002.html#@default54">2.2</A>
<LI CLASS="li-itemize">minimize/6, <A HREF="obsman002.html#@default52">2.2</A>
<LI CLASS="li-itemize">minimize/8, <A HREF="obsman002.html#@default58">2.2</A>
<LI CLASS="li-itemize">modify<CODE>_</CODE>bound/3, <A HREF="obsman003.html#@default200">3.7.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">new_domain_var/1, <A HREF="obsman002.html#@default143">2.15</A>
<LI CLASS="li-itemize">notin/2, <A HREF="obsman003.html#@default178">3.4</A>
<BR>
<BR>
<LI CLASS="li-itemize">outof/2, <A HREF="obsman002.html#@default94">2.7</A>
<BR>
<BR>
<LI CLASS="li-itemize">refine/1, <A HREF="obsman003.html#@default185">3.4</A>
<BR>
<BR>
<LI CLASS="li-itemize">set domain, <A HREF="obsman003.html#@default164">3.1</A>, <A HREF="obsman003.html#@default171">3.3</A>, <A HREF="obsman003.html#@default174">3.4</A>, <A HREF="obsman003.html#@default190">3.7.2</A>
<LI CLASS="li-itemize">set expression, <A HREF="obsman003.html#@default166">3.1</A>
<LI CLASS="li-itemize">set term, <A HREF="obsman003.html#@default167">3.1</A>
<LI CLASS="li-itemize">set variable, <A HREF="obsman003.html#@default173">3.4</A>, <A HREF="obsman003.html#@default186">3.6</A>, <A HREF="obsman003.html#@default198">3.7.3</A>
<LI CLASS="li-itemize">set2list/2, <A HREF="obsman003.html#@default196">3.7.2</A>
<LI CLASS="li-itemize">set<CODE>_</CODE>range/3, <A HREF="obsman003.html#@default191">3.7.2</A>
<LI CLASS="li-itemize">set_var_bounds/3, <A HREF="obsman004.html#@default203">4.1</A>
<LI CLASS="li-itemize">sorted_list_to_dom/2, <A HREF="obsman002.html#@default129">2.14.3</A>, <A HREF="obsman002.html#@default130">2.14.3</A>
<LI CLASS="li-itemize">sum<CODE>_</CODE>weight/2, <A HREF="obsman003.html#@default184">3.4</A>
<LI CLASS="li-itemize">suspend/3, <A HREF="obsman002.html#@default110">2.14.1</A>, <A HREF="obsman002.html#@default152">4</A>
<LI CLASS="li-itemize">suspension list, <A HREF="obsman003.html#@default199">3.7.3</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
constrained, <A HREF="obsman002.html#@default9">2.2</A>
</UL>
<LI CLASS="li-itemize">svar<CODE>_</CODE>attribute/2, <A HREF="obsman003.html#@default188">3.7.1</A>
<BR>
<BR>
<LI CLASS="li-itemize">unification, <A HREF="obsman003.html#@default189">3.7.1</A>
<BR>
<BR>
<LI CLASS="li-itemize">var_fd/2, <A HREF="obsman002.html#@default135">2.14.4</A>
<BR>
<BR>
<LI CLASS="li-itemize">weighted set, <A HREF="obsman003.html#@default165">3.1</A>
</UL></TD>
</TR></TABLE>
<HR>
<A HREF="obsman004.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="obsman006.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
